Autolink: A Tool for Automatic Test Generation from SDL Specifications
نویسندگان
چکیده
Due to an increasing interest in SDL, MSC and TTCN based tools for validation and test generation, Telelogic AB, Malmm o, and the Institute for Telematics of the University of L ubeck are cooperating in a research and development project aiming at bringing new test generation facilities to the Tau tool set. For that purpose, a software component has been developed which supports the automatic generation of TTCN test suites based on SDL and MSC speciications. The project follows a pragmatic approach and is driven by practical experience. Autolink has been used by the European Telecommunications Standards Institute (ETSI) to develop a test suite for Core INAP CS{2.
منابع مشابه
Autolink - Putting SDL-Based Test Generation Into Practice
Autolink is a tool for automatic test generation. It allows to generate TTCN test suites based on a given SDL specification and MSC requirements. The first big challenge for Autolink was the creation of a test suite for the Intelligent Network Application Protocol at ETSI. In this paper we discuss our experience in applying Autolink to a real-life protocol and the improvements of Autolink which...
متن کاملAutolink -putting Formal Test Methods into Practice
Autolink is a tool for automatic test generation. It allows to generate TTCN test suites based on a given SDL speciication and MSC requirements. The rst big challenge for Autolink has been the creation of a test suite for the Intelligent Network Application Protocol at ETSI. In this paper we discuss our experience in applying Autolink to a real-life protocol and the improvements of Autolink whi...
متن کاملTest Generation with Autolink and Testcomposer
Testing of telecommunication systems is a major concern in industry and standardization. Therefore, the two major SDL tool vendors have integrated automatic test generation tools into their software development suites. While Telelogic has added Autolink to the Tau tools, former Verilog has extended ObjectGeode with TestComposer. Even though both tools are based on the same concepts, many featur...
متن کاملA Tool for the Automatic and Semi - Automatic Test
Due to increasing interest in validation and test generation tools, Telelogic AB, Malmm o, and the Institute for Telematics of the University of L ubeck have started a research and development project which aims at bringing new test generation facilities to the Tau tool set. For that purpose, a software component is developed which supports the automatic and semi-automatic generation of TTCN te...
متن کاملArchitecting Specifications for Test Case Generation 1
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Surprisingly, little documentation exists on the optimal way to specify systems so that they can best be used for the generation of tests. This paper, elaborates on the different tool supported approaches that can be take...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998